-
1 syntactic assertion
Большой англо-русский и русско-английский словарь > syntactic assertion
-
2 syntactic assertion
Математика: синтаксическое утверждение -
3 syntactic assertion
English-Russian electronics dictionary > syntactic assertion
-
4 syntactic assertion
The New English-Russian Dictionary of Radio-electronics > syntactic assertion
-
5 syntactic assertion
-
6 assertion
1) утверждение2) суждение -
7 assertion
1) (утвердительное) суждение, утверждение3) вчт оператор подтверждения отсутствия ошибок4) постулирование или доказательство существования•- built-in assertion
- conditional assertion
- false assertion
- prime assertion
- syntactic assertion
- true assertion -
8 assertion
1) (утвердительное) суждение, утверждение3) вчт. оператор подтверждения отсутствия ошибок4) постулирование или доказательство существования•- built-in assertion
- conditional assertion
- false assertion
- prime assertion
- syntactic assertion
- true assertionThe New English-Russian Dictionary of Radio-electronics > assertion
-
9 синтаксическое утверждение
Русско-английский словарь по электронике > синтаксическое утверждение
-
10 синтаксическое утверждение
Русско-английский словарь по радиоэлектронике > синтаксическое утверждение
-
11 синтаксическое утверждение
syntactic assertion мат.Русско-английский научно-технический словарь Масловского > синтаксическое утверждение
-
12 синтаксическое утверждение
Большой англо-русский и русско-английский словарь > синтаксическое утверждение
-
13 синтаксическое утверждение
Mathematics: syntactic assertionУниверсальный русско-английский словарь > синтаксическое утверждение
-
14 operator
ˈɔpəreɪtə сущ.
1) а) оператор computer operator ≈ компьютерный техник crane operator ≈ оператор (грузо) подъемного крана, крановщик elevator operator, lift operator ≈ лифтер ham operator ≈ радист, оператор радиостанции lathe operator ≈ токарь radar operator ≈ оператор радиолокационной установки, радиометрист radio operator ≈ радист;
радиооператор switchboard operator, telephone operator ≈ телефонист, телефонистка operator's position ≈ рабочее место б) механик, машинист machine operator ≈ машинист, оператор машины, механик в) амер. водитель
2) телефонист;
телеграфист;
радист;
связист
3) хир. врач-хирург;
оперирующий хирург или дантист
4) бизнесмен;
владелец;
управляющий big operators ≈ амер. крупные чиновники;
высокие должностные лица Syn: owner, director
5) а) биржевой маклер б) делец, ловкач He is what we call nowadays an 'operator', and completely unscrupulous and unashamed. ≈ Он относится к тому сорту людей, которых в наши дни называют 'дельцами', и абсолютно беспринципен и бесстыден.
6) а) мат. оператор б) линг. оператор Operators are forms like articles, prepositions, conjunctions which perform syntactic functions. ≈ Операторы - это слова типа артиклей, предлогов, союзов, которые осуществляют синтаксические функции.
7) биол. ген-оператор (терминальный участок в опероне) оператор;
- *'s position рабочее место механик, машинист;
водитель связист;
радист;
телефонист (военное) обслуживающий номер( прибора) прожекторист то, что оказывает действие;
- strong * сильнодействующее средство (медицина) врач-хирург, оперирующий хирург диспетчер (американизм) владелец предприятия;
фабрикант, промышленник;
- private * in civil aviation владелец частной авиакомпании биржевой маклер( разговорное) делец, ловкач;
- smooth * ловкий делец;
- big-time * крупный делец (биология) ген-оператор (математика) символ, указывающий на необходимость произведения какого-л действия гипнотизер arithmetic ~ вчт. аритметический оператор arithmetic ~ вчт. знак арифметической операции assertion ~ вчт. оператор контроля ~ амер. владелец предприятия или его управляющий;
big operators амер. крупные чиновники;
высокие должностные лица boolean ~ вчт. логический оператор combined transport ~ (CTO) владелец предприятия, ведущего смешанные перевозки comparison ~ вчт. операция сравнения composite ~ вчт. составной оператор computer ~ оператор вычислительной машины conjunction ~ вчт. оператор конъюнкции constraint ~ вчт. ограничивающый оператор dagger ~ вчт. оператор или-не economic ~ экономист elevator ~ амер. лифтер indirection ~ вчт. операция разыменовывания infix ~ вчт. инфиксный оператор keyboard ~ вчт. оператор коммутационной панели logical ~ вчт. знак логической операции market ~ биржевой маклер neighborhood ~ вчт. оператор формирования окрестностей ~ оператор;
механик;
operator's position рабочее место postfix ~ вчт. постфиксная операция prefix ~ вчт. префиксный оператор relational ~ вчт. операция сравнения ~ биржевой маклер или делец;
smooth (или slick) operator ловкий делец system ~ вчт. системный оператор unary ~ вчт. знак унарной операцииБольшой англо-русский и русско-английский словарь > operator
-
15 checker
1) проверочное устройство, проверочный блок; средство или устройство контроля2) программа контроля, контролирующая программа•- codeword checker
- compatibility checker
- consistency checker
- design-rule checker
- duplication checker
- parity prediction checker
- parity checker
- spelling checker
- spell checker
- style checker
- syntactic checker
- syntax checker
- well-formedness checkerEnglish-Russian dictionary of computer science and programming > checker
См. также в других словарях:
Description logic — (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first order predicate logic. DL is used in artificial intelligence for formal reasoning on … Wikipedia
language, philosophy of — Philosophical study of the nature and use of natural languages and the relations between language, language users, and the world. It encompasses the philosophical study of linguistic meaning (see semantics), the philosophical study of language… … Universalium
Propositional attitude — A propositional attitude is a relational mental state connecting a person to a proposition. They are often assumed to be the simplest components of thought and can express meanings or content that can be true or false. In being a type of attitude … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Chinese room — If you can carry on an intelligent conversation using pieces of paper slid under a door, does this imply that someone or something on the other side understands what you are saying? The Chinese room is a thought experiment by John Searle which… … Wikipedia
Double négation — Négation (linguistique) Pour les articles homonymes, voir négation. En linguistique, la négation (du latin negare, nier)[1] est une opération qui consiste à désigner comme fausse une proposition préalablement exprimée ou non ; elle s’oppose… … Wikipédia en Français
Negation (linguistique) — Négation (linguistique) Pour les articles homonymes, voir négation. En linguistique, la négation (du latin negare, nier)[1] est une opération qui consiste à désigner comme fausse une proposition préalablement exprimée ou non ; elle s’oppose… … Wikipédia en Français
Négation (linguistique) — Pour les articles homonymes, voir négation. En linguistique, la négation (du latin negare, nier)[1] est une opération qui consiste à désigner comme fausse une proposition préalablement exprimée ou non ; elle s’oppose à l’affirmation. Bien… … Wikipédia en Français
Négation linguistique — Négation (linguistique) Pour les articles homonymes, voir négation. En linguistique, la négation (du latin negare, nier)[1] est une opération qui consiste à désigner comme fausse une proposition préalablement exprimée ou non ; elle s’oppose… … Wikipédia en Français
language — /lang gwij/, n. 1. a body of words and the systems for their use common to a people who are of the same community or nation, the same geographical area, or the same cultural tradition: the two languages of Belgium; a Bantu language; the French… … Universalium
Theory of descriptions — The theory of descriptions is one of the philosopher Bertrand Russell s most significant contributions to the philosophy of language. It is also termed Russell s Theory of Descriptions (often abbreviated as RTD ). In short, Russell argued that… … Wikipedia